面向二进制程序的导向性模糊测试方法

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题，提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令；随后对目标文件进行插桩来获取比较指令中操作数的具体值，并根据该具体值为比较指令建立实时的比较进度信息，通过比较进度衡量样本的重要程度；然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率；最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异，通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明，所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。     

Refurbishment or quality recovery: joint quality and pricing decisions for new product development

Refurbishment and quality recovery, as two important strategies of reverse logistics, have been widely used for consumer durables, especially consumer electronics. This trend is driven by manufacturers’ profit-seeking behaviours and the increasing environmental concerns of society. This study investigates and compares the optimal emergence of these two strategies when product quality is endogenous. Model analyses provide several notable insights. First, we find that the refurbishment strategy dominates the quality recovery strategy when the fraction of the recoverable quality-inducing components in the defective product is low enough. Moreover, when the refurbishment strategy emerges as the optimum, the quality and price of the new product as well as the total realised sales of both new and refurbished products are consistently higher than those with the quality recovery strategy. In addition, when either the refurbishment or quality recovery strategy emerges as the optimum, the overall consumer surplus is also enhanced. Finally, in the model generalisation, we show that a synthetic strategy with which some of the returned defective products are refurbished and others are remanufactured through quality recovery can certainly increase the manufacturers’ profit compared to either one of them when the fraction of the recoverable quality-inducing components in the defective product is moderate.     

Structural load alleviation using distributed delay shaper: Application to flexible aircraft

Lightweight flexible aircraft suffers from unwanted oscillatory vibrations during aircraft manoeuvres. A recently developed distributed-delay signal (DZV) shaper is therefore proposed to be applied as a feedforward controller to alleviate the manoeuvre loads, as an alternative to traditional structural filters used routinely in this context. Structural filters are essentially linear low-pass filters with bandwidth below the significant flexible modes, applied to control signals generated either by the pilot’s direct input or by the flight control system. It has been showed that if instead a properly tuned signal shaper is used, better performance can be achieved: first, the target modes are significantly attenuated while the responsiveness of the aircraft is less compromised and secondly, the oscillatory nature of the vibrations are reduced. The high fidelity simulation results on a full scaled dynamic model of a highly flexible blended wing–body (BWB) aircraft show that in comparison to traditional structural filters, signal shapers significantly reduce the wing root loading (forces and moments) which provides potential structural benefits.     

抗新型冠状病毒2019-nCoV新药的研发

2019年底，湖北武汉暴发了2019新型冠状病毒感染疾病（COVID-19），并快速在全国蔓延，且在多个国家发现病例。其感染病例和死亡病例在短时间内快速超过重症急性呼吸综合征（SARS），给中国带来了不可估量的损失。中国科研人员在短时间内，快速锁定病原体为2019-nCoV（或hCoV-19或SARS-CoV-2)，并且在不同层面开展了相关抗病毒药物的研发工作。本文介绍了抗2019-nCoV新药研发的现状。同时，鉴于突发病原体的药物研发过程相对迟缓，我们建议对于潜在流行可能性的病原体，其药物研发要具有前瞻性，国家层面要推进广谱药物的研发和临床试验，以应对可能出现的疫情风险。     

Scalable Clock Synchronization Analysis: A Symmetric Noncooperative Output Feedback Tubes-MPC Approach

In the cyber-physical environment, the clock synchronization algorithm is required to have better expansion for network scale. In this paper, a new measurement model of observability under the equivalent transformation of minimum mean square error (MMSE) is constructed based on basic measurement unit (BMU), which can realize the scaled expansion of MMSE measurement. Based on the state updating equation of absolute clock and the decoupled measurement model of MMSE-like equivalence, which is proposed to calculate the positive definite invariant set by using the theoretical-practical Luenberger observer as the synthetical observer, the local noncooperative optimal control problem is built, and the clock synchronization system driven by the ideal state of local clock can reach the exponential convergence for synchronization performance. Different from the problem of general linear system regulators, the state estimation error and state control error are analyzed in the established affine system based on the set-theory-in-control to achieve the quantification of state deviation caused by noise interference. Based on the BMU for isomorphic state map, the synchronization performance of clock states between multiple sets of representative nodes is evaluated, and the scale of evaluated system can be still expanded. After the synchronization is completed, the state of perturbation system remains in the maximum range of measurement accuracy, and the state of nominal system can be stabilized at the ideal state for local clock and realizes the exponential convergence of the clock synchronization system.      

气压仪器检定装置的升级改造

文章针对气压检定装置在使用中存在的一些问题,会同厂家对其进行了升级改造。介绍了改造后的气压检定装置的设计原理、软件和硬件设计以及技术指标等,新装置集成了目前先进的计量设备及技术,编写相应的程序软件升级改造而成。可广泛适用于气象部门空盒气压表、自动站气压传感器以及部分数字压力计的计量检定工作,实现气压检定工作的自动化,提高检定数据的准确性和可靠性,并有效提高检定的工作效率。     

飞灰固结体在沥青混合料中应用研究

通过对新型固结剂固化飞灰生成的固结体研磨成微粉全部或部分替代矿粉作为沥青混合料进行试验探究。试验结果表明,当微粉替代矿粉时,混合料的物理性能、水稳定性及高温稳定性得到了提高,确定了微粉替代矿粉最佳替代率。微粉在沥青混合料中重金属的存在状态采用多级提取的方法进行分析,试验结果进一步证明了微粉中重金属在沥青混合料中的长期稳定性。为焚烧垃圾飞灰固化稳定化和资源化利用提供了一定的理论指导。     

焦炉前反馈热工控制系统运行实践

焦炉生产是典型的大惯性、非线性、时变快的复杂系统，以“火落温度”为基础的焦炉前反馈热工控制系统，通过立火道温度自动测量与人工测温相关性分析、粗煤气温度测量与火落判断、标准温度的优化等运行实践，达到了自动火落时间判断、标准温度指导、加热和燃烧优化、高低温炉号判别等目的，对于稳定炉温、降低回炉煤气消耗、提高焦炭质量以及推进焦化企业技术进步具有重要意义。     

New exact solutions of the Tzitzéica-type equations in non-linear optics using the expa function method

One specific class of non-linear evolution equations, known as the Tzitzéica-type equations, has received great attention from a group of researchers involved in non-linear science. In this article, new exact solutions of the Tzitzéica-type equations arising in non-linear optics, including the Tzitzéica, Dodd–Bullough–Mikhailov and Tzitzéica–Dodd–Bullough equations, are obtained using the exp_a function method. The integration technique actually suggests a useful and reliable method to extract new exact solutions of a wide range of non-linear evolution equations.     

因素空间理论下基点分类算法研究

目前，基于因素空间理论的背景基提取算法计算过程复杂，初始化必须依赖各因素极值，基点数量提取冗余等原因，未能在应用中取得很好效果。为此，结合内点判别法和知识可继承、可扩展的思想，提出一种计算简单、初始化独立、基点数量小的改进的背景基提取算法。然后，利用改进的背景基提取算法构造出一种全新的数据分类算法-基点分类算法，基点分类算法以提取每一类样本的背景基为预测模型，再通过新定义的λ-背景基，优化预测模型。数值实验表明:基点分类算法原理简单、构造难度小、分类模型泛化能力强，预测能力准确率高，同时严格的模型限定区域又能为识别新类别提供新方法。